1. Buchi's monadic second order successor arithmetic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Predicate calculus,، Sequential machine theory

رده :
QA
3
.
L28
no
.
120

2. Buchi's monadic second order successor arithmetic

پدیدآورنده :

موضوع : ، Predicate calculus,، Sequential machine theory

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

3. Finite automata, their algebras and grammars

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع : Sequential machine theory

رده :
QA
.
S4B83
267
.
5
1989

4. Formale Methoden und kleine Systeme :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Formalisierung.,Informatik.,Kleines System.

5. Formale Methoden und kleine Systeme :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Formalisierung.,Informatik.,Kleines System.

6. Sozialgeschichte der Informatik :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Economics.,Economics/Management Science, general.,Economics/Management Science.

رده :
T14
.
5
D575
1998